| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 387071 | ||
| Vorlesung | 381356 | Mo 10:30-12:00 AH I (2350|028) (×12) Mi 12:30-14:00 AH II (2350|111) (×12) | |||
| Übung | 383136 | Fr 14:30-16:00 AH I (2350|028) (×11) | |||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 385828 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 388556 | ||
| Vorlesung | 388496 | Mo 12:30-14:00 AH IV (2354|030) (×1) Mo 16:30-18:00 AH IV (2354|030) (×13) Do 16:30-18:00 AH I (2350|028) (×12) | |||
| Übung | 388495 | Mo 12:30-14:00 AH IV (2354|030) (×12) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 386654 | ||
| Vorlesung/Übung | 381348 | Mo 12:30-14:00 AH III (2350|314.1) (×12) Di 16:30-18:00 AH I (2350|028) (×14) |